Програмна модель переконань, бажань та намірів

Програмна модель переконань, бажань та намірів (ПБН, англ. Belief–desire–intention software model) — є моделлю програмного забезпечення, призначеною для програмування інтелектуальних агентів. Поверхово характеризується реалізацією переконань, бажань і намірів агента, але насправді використовує ці концепції для розв'язання специфічної задачі в програмуванні агента. По суті, ця модель забезпечує механізм для відокремлення діяльності з вибору плану (з бібліотеки планів або зовнішньої програми планування) від виконання поточних активних планів. Тим самим, агенти ПБН можуть збалансувати час, витрачений на обдумування планів (вибір того, що робити) і виконання цих планів (втілення). Третій вид діяльності, в першу чергу створення планів (планування), не входить до сфери застосування моделі, і залишається на розсуд системного розробника та програміста.

Огляд

Для досягнення поділу активності агентів, у моделі ПБН застосовуються головним чином розвинені концепції Майкла Бретмена[en] у його однойменній теорії про практичну думку людини[en] (також відома як Переконання-Бажання-Намір або ПБН). Ця модель реалізує концепції переконання, бажання та (зокрема) наміру, у спосіб, навіяний Братменом. Для Братмена і бажання, і намір є «про-ставленнями» (психічні установки, пов'язані з дією). Він визначає зобов'язання як відмінний фактор між бажанням і наміром, зазначаючи, що воно призводить до (1) тимчасової наполегливості в планах і (2) подальших планів, які складаються на основі тих, до яких він уже зобов'язаний. Модель програмного забезпечення ПБН частково розв'язує ці проблеми. Аспекти часової стійкості, що безпосередньо посилаються на час, не досліджені. Ієрархічний характер планів легше реалізувати: план складається з кількох кроків, деякі з яких можуть викликати інші плани. Саме ієрархічне визначення планів має на увазі своєрідну тимчасову стійкість, оскільки загальний план залишається в силі, поки виконуються допоміжні плани.

Один із ключових аспектів моделі програмного забезпечення ПБН, з точки зору його актуальності у дослідженнях, полягає у наявності логічних моделей, які дозволяють аналізувати та розуміти роботу агентів ПБН. Дослідження в цій галузі призвели, наприклад, до аксіоматизації деяких реалізацій ПБН, а також до формально-логічних описів, таких як ПБНЛОД (переконання-бажання-намір логіка обчислювального дерева) (Anand Rao та Michael Georgeff[en], 1995). Останній поєднує багатомодальну логіку (з модальностями, що представляють переконання, бажання та наміри) з темпоральною логікою логікою обчислювального дерева[en]. Нещодавно Майкл Вулдрідж розширив ПБНЛОД, щоб визначити LORA (логіку раціональних агентів), включивши логіку дій. В принципі, LORA дозволяє міркувати не лише про окремих агентів, але й про спілкування та іншу взаємодію в багатоагентній системі.

Модель програмного забезпечення ПБН тісно пов'язана з інтелектуальними агентами, але сама по собі не забезпечує всіх характеристик, пов'язаних із такими агентами. Наприклад, це дозволяє агентам мати приватні переконання, але не змушує їх бути приватними. Крім того, в цьому контексті нічого не говориться про комунікацію між агентами. Зрештою, модель програмного забезпечення ПБН є спробою розв'язати проблему, яка пов'язана більше з планами та плануванням (їх вибором і виконанням), ніж із програмуванням інтелектуальних агентів. Цей підхід нещодавно запропонували Стівен Умбрелло і Роман Ямпольський[en] як засіб проєктування автономних транспортних засобів для людських цінностей.[1]

Агенти ПБН

ПБН-агент — це особливий тип обмеженого інтелекнуального агента, пронизаного певними «психічними установками», а саме: переконаннями, бажаннями та намірами (ПБН).

Архітектура

Цей розділ визначає ідеалізовані архітектурні компоненти системи ПБН.

  • Переконання: переконання представляють інформаційний стан агента, іншими словами його переконання щодо світу (включаючи себе та інших агентів). Переконання також можуть включати правила висновування, що дозволяє прямому виводу вести до нових переконань. Використання терміну «переконання» замість «знання» визнає, що те, у що вірить агент, не обов'язково може бути правдою (і насправді може змінитися в майбутньому).
    • Переконання: Переконання зберігаються в базі даних (іноді її називають «базою переконань» або «набором переконань»), хоча це рішення імплементації.
  • Бажання: бажання представляють мотиваційний стан агента. Вони представляють цілі або ситуації, які агент «хотів би» досягти або викликати. Прикладами бажань можуть бути: «знайти найкращу ціну», «піти на вечірку» або «стати багатим».
    • Цілі: ціль — це бажання, яке агент прийняв для активного досягнення. Використання терміну «цілі» додає ще одне обмеження, згідно з яким набір активних бажань має бути послідовним. Наприклад, у людини не повинно бути одночасних цілей піти на вечірку і залишитися вдома — навіть якщо вони обидві можуть бути бажаними.
  • Наміри: наміри представляють стан обговорення агента - конкретні дії, які агент обрав для виконання. Це суть бажань, які агент певною мірою підтримує. У випадку реалізованих систем це означає, що агент розпочав виконання певного плану.
    • Плани: плани — це послідовності дій (рецептів або областей знань), які агент може виконати для досягнення одного або кількох своїх намірів. Плани можуть включати інші плани: мій план покататися може включати план пошуку ключів від машини. Це свідчить про те, що в моделі Бретмена плани спочатку лише частково задумані, а деталі доповнюються у міру їхнього розвитку.
  • Події: це ініціатори реактивної активності агента. Подія може оновити переконання, запустити плани або змінити цілі. Події можуть генеруватися ззовні та прийматися датчиками або інтегрованими системами. Крім того, події можуть генеруватися внутрішньо для ініціювання незалежних оновлень або планів діяльності.

ПБН також було розширено компонентом зобов'язань, що дало початок архітектурі агента BOID[2] для включення зобов'язань, норм і зобов'язань агентів, які діють у соціальному середовищі.

Інтерпретатор ПБН

У цьому розділі визначено ідеалізований інтерпретатор ПБН, який є основою ПСА[en](процедурна система аргументації) лінії систем ПБН SRI:[3]

  1. стан ініціалізації
  2. повтор
    1. options: option-generator (event-queue)
    2. selected-options: deliberate(options)
    3. update-intentions(selected-options)
    4. execute()
    5. get-new-external-events()
    6. drop-unsuccessful-attitudes()
    7. drop-impossible-attitudes()
  3. завершення повторення

Обмеження та критика

Модель програмного забезпечення ПБН є одним із прикладів архітектури міркувань для одного раціонального агента та однією з проблем у ширшій багатоагентній системі. Цей розділ обмежує сферу проблем для моделі програмного забезпечення ПБН, підкреслюючи відомі обмеження архітектури.

  • Навчання: агентам ПБН бракує будь-яких конкретних механізмів в архітектурі, щоб вчитися на минулій поведінці та адаптуватися до нових ситуацій.[4][5]
  • Три погляди: класичні теоретики прийняття рішень і дослідження планування ставлять під сумнів необхідність мати всі три погляди, розподілений штучний інтелект[en] дослідження ставить під сумнів, чи достатньо цих трьох поглядів.[3]
  • Логіка: мультимодальна логіка, яка лежить в основі ПБН (яка не має повної аксіоматизації та не є ефективно обчислюваною), мало актуальна на практиці.[3][6]
  • Кілька агентів: крім явної підтримки навчання, фреймворк може бути невідповідним для поведінки навчання. Крім того, модель ПБН явно не описує механізми взаємодії з іншими агентами та інтеграцію в багатоагентну систему.[7]
  • Явні цілі: у більшості реалізацій ПБН відсутнє явне визначення цілей.[8]
  • Передбачення: Архітектура не має (за задумом) будь-якого попереднього обговорення або перспективного планування. Це може бути небажаним, оскільки прийняті плани можуть використовувати обмежені ресурси, дії можуть бути необоротними, виконання завдання може тривати довше, ніж планування наперед, дії можуть мати небажані побічні ефекти, якщо вони не вдаються.[9]

Реалізація агента ПБН

«Чистий» ПБН

Розширення та гібридні системи

Див. також

Примітки

  1. ↑ Umbrello, Steven; Yampolskiy, Roman V. (15 травня 2021). Designing AI for Explainability and Verifiability: A Value Sensitive Design Approach to Avoid Artificial Stupidity in Autonomous Vehicles. International Journal of Social Robotics (англ.). 14 (2): 313—322. doi:10.1007/s12369-021-00790-w. ISSN 1875-4805.
  2. ↑ J. Broersen, M. Dastani, J. Hulstijn, Z. Huang, L. van der Torre The BOID architecture: conflicts between beliefs, obligations, intentions and desires Proceedings of the fifth international conference on Autonomous agents, 2001, pages 9-16, ACM New York, NY, USA
  3. ↑ а б в Rao, M. P. Georgeff. (1995). BDI-agents: From Theory to Practice (PDF). Proceedings of the First International Conference on Multiagent Systems (ICMAS'95). Архів оригіналу (PDF) за 4 червня 2011. Процитовано 9 липня 2009.
  4. ↑ Phung, Toan; Michael Winikoff; Lin Padgham (2005). Learning Within the BDI Framework: An Empirical Analysis. Knowledge-Based Intelligent Information and Engineering Systems. Lecture Notes in Computer Science. Т. 3683. с. 282—288. doi:10.1007/11553939_41. ISBN 978-3-540-28896-1.
  5. ↑ Guerra-Hernández, Alejandro; Amal El Fallah-Seghrouchni; Henry Soldano (2004). Learning in BDI Multi-agent Systems. Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science. Т. 3259. с. 218—233. doi:10.1007/978-3-540-30200-1_12. ISBN 978-3-540-24010-5.
  6. ↑ Rao, M. P. Georgeff. (1995). Formal models and decision procedures for multi-agent systems. Technical Note, AAII. CiteSeerX 10.1.1.52.7924.
  7. ↑ Georgeff, Michael; Barney Pell; Martha E. Pollack; Milind Tambe; Michael Wooldridge (1999). The Belief-Desire-Intention Model of Agency. Intelligent Agents V: Agents Theories, Architectures, and Languages. Lecture Notes in Computer Science. Т. 1555. с. 1—10. doi:10.1007/3-540-49057-4_1. ISBN 978-3-540-65713-2.
  8. ↑ Pokahr, Alexander; Lars Braubach; Winfried Lamersdorf (2005). Jadex: A BDI Reasoning Engine. Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations. Т. 15. с. 149—174. doi:10.1007/0-387-26350-0_6. ISBN 978-0-387-24568-3.
  9. ↑ Sardina, Sebastian; Lavindra de Silva; Lin Padgham (2006). Hierarchical planning in BDI agent programming languages: a formal approach. Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems.
  10. ↑ UM-PRS
  11. ↑ OpenPRS. Архів оригіналу за 21 жовтня 2014. Процитовано 23 жовтня 2014.
  12. ↑ AgentSpeak(RT) [Архівовано 2012-03-26 у Wayback Machine.]
  13. ↑ Vikhorev, K., Alechina, N. and Logan, B. (2011). "Agent programming with priorities and deadlines" [Архівовано 26 березня 2012 у Wayback Machine.]. In Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). Taipei, Taiwan. May 2011., pp. 397-404.
  14. ↑ Agent Real-Time System [Архівовано 2011-09-27 у Wayback Machine.]
  15. ↑ Vikhorev, K., Alechina, N. and Logan, B. (2009). "The ARTS Real-Time Agent Architecture" [Архівовано 26 березня 2012 у Wayback Machine.]. In Proceedings of Second Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS2009). Turin, Italy. September 2009. CEUR Workshop Proceedings Vol-494.
  16. ↑ JAM
  17. ↑ JADEX
  18. ↑ Jason | a Java-based interpreter for an extended version of AgentSpeak. Архів оригіналу за 10 червня 2023. Процитовано 28 листопада 2023.
  19. ↑ SPARK
  20. ↑ 2APL
  21. ↑ а б CogniTAO (Think-As-One)
  22. ↑ а б TAO: A JAUS-based High-Level Control System for Single and Multiple Robots Y. Elmaliach, CogniTeam, (2008) Archived copy. Архів оригіналу за 7 січня 2009. Процитовано 3 листопада 2008.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)
  23. ↑ а б Living Systems Process Suite
  24. ↑ а б Rimassa, G., Greenwood, D. and Kernland, M. E., (2006). The Living Systems Technology Suite: An Autonomous Middleware for Autonomic Computing [Архівовано 16 травня 2008 у Wayback Machine.]. International Conference on Autonomic and Autonomous Systems (ICAS).
  25. ↑ Fichera, Loris; Marletta, Daniele; Nicosia, Vincenzo; Santoro, Corrado (2011). Flexible Robot Strategy Design Using Belief-Desire-Intention Model. У Obdržálek, David; Gottscheber, Achim (ред.). Research and Education in Robotics - EUROBOT 2010. Communications in Computer and Information Science (англ.). Т. 156. Berlin, Heidelberg: Springer. с. 57—71. doi:10.1007/978-3-642-27272-1_5. ISBN 978-3-642-27272-1.
  26. ↑ Gwendolen Semantics:2017
  27. ↑ Model Checking Agent Programming Languages
  28. ↑ MCAPL (Zenodo)
  29. ↑ Brahms
  30. ↑ Home. jacamo.sourceforge.net.

Джерела

Read other articles:

Bot percakapan

Chatterbot (disebut juga chatbot atau bots) adalah sebuah program komputer yang dirancang untuk menyimulasikan percakapan intelektual dengan satu atau lebih manusia baik secara audio maupun teks. Pada mulanya, program komputer (bots) ini diuji melalui Turing Test, yaitu dengan merahasiakan identitasnya sebagai mesin sehingga dapat mengelabui orang yang bercakap-cakap dengannya. Jika pengguna tidak dapat mengidentifikasi bots sebagai suatu program komputer, maka chatterbot tersebut dikategori...

 

 

Periodo degli Stati Combattenti

Disambiguazione – Se stai cercando l'omonimo periodo della storia del Giappone, vedi epoca Sengoku. Questa voce o sezione sull'argomento storia della Cina non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. History of China Storia della Cina Preistoria Paleolitico c. 500 000 anni fa – c. 8500 a.C. Neolitico c. 8500 – c. 2070 a.C. Antica Dinastia Xia c....

 

 

Jalur Hijau (angkutan cepat Delhi)

  Jalur HijauStasiun InderlokIkhtisarJenisAngkutan cepatSistemAngkutan cepat di DelhiStatusSepenuhnya OperasionalTerminusMundkaKirti Nagar/InderlokStasiun17OperasiDibukaApril 2010[1]OperatorDelhi Metro Rail CorporationKarakteristik lintasTinggiRangkaianHyundai Rotem-BEMLData teknisPanjang lintas18,46 kmLebar sepur1.435 mm (Lebar standar)Elektrifikasi25 kV, 50 Hz AC melalui kabel atas Jalur Hijau (Green Line) di angkutan cepat Delhi merupakan jalur angkutan cepat kelima yang diban...

1980 United States Senate election in Missouri

1980 United States Senate election in Missouri ← 1974 November 4, 1980 1986 →   Nominee Thomas Eagleton Gene McNary Party Democratic Republican Popular vote 1,074,859 985,399 Percentage 52.00% 47.67% County results Eagleton:      50–60%      60–70%      70–80% McNary:      50–60%      60–70%      70–8...

 

 

Gua Nasir

Gua NasirLeang NasirLokasiKabupaten Maros, Sulawesi Selatan, IndonesiaPanjang800 mGeologikarst / batu kapur / batu gampingSitus webvisit.maroskab.go.idcagarbudaya.kemdikbud.go.idkebudayaan.kemdikbud.go.id/bpcbsulsel/ Gua Nasir atau Leang Nasir (Inggris: Nasir Cave ) adalah sebuah gua di Kawasan Karst Maros-Pangkep, bagian area Cagar Alam Bantimurung di Taman Nasional Bantimurung-Bulusaraung. Lokasi gua ini secara administratif terletak di wilayah Kabupaten Maros, Sulawesi Selatan, Indone...

 

 

Boels Ladies Tour 2016

Boels Ladies Tour 2016 GénéralitésCourse19e Simac Ladies TourÉtapes6Dates30 août – 4 septembre 2016Distance598 kmPays Pays-BasLieu de départTielLieu d'arrivéeFauquemontÉquipes10Partants88Arrivants56Vitesse moyenne38,373 km/hSite officielSite officielRésultatsVainqueur Chantal Blaak (Boels Dolmans)Deuxième Ellen van Dijk (Boels Dolmans)Troisième Alena Amialiusik (Canyon-SRAM Racing)Classement par points Katarzyna Niewiadoma (Rabo Liv Women)Meilleur grimpeur Roxane Knetemann (Rabo ...

Troy, New York

City in New York, United StatesTroyCityFrom top, left to right: View of Troy from the Rensselaer Polytechnic Institute campus; Rice Building; Monument Square and the Soldiers and Sailors Monument; A CDTA bus stop on Congress Street; Skyline of Troy SealEtymology: Classical TroyNickname: The Collar CityMotto(s): Ilium fuit, Troja est (Latin for Ilium was, Troy is also translates as Troy was, Troy is)Map of Troy and its major thoroughfaresLocation of New York in the United StatesTroy...

 

 

Armes à enquerre

Armes à enquerre, ou parfois armes fausses[1], est une expression utilisée en héraldique pour qualifier les armes qui ne sont pas établies selon les règles ordinaires du blason, plus particulièrement la règle dite « de contrariété des couleurs » (ni métal sur métal, ni émail sur émail)[2],[3],[4], faites ainsi, selon certains[5], pour attirer l'attention sur un fait remarquable dont on doit s'enquérir. Cependant, la plupart du temps, ce n'est qu'une façon « po...

 

 

Stockport bus station

Former bus station in Stockport, Greater Manchester, England Stockport Bus station with Stockport Viaduct in the background in January 2009General informationLocationStockportStockport (borough)Coordinates53°24′31″N 2°09′49″W / 53.40867°N 2.16361°W / 53.40867; -2.16361Operated byTransport for Greater ManchesterBus stands24Bus operatorsHigh PeakM TravelGo Goodwins GroupStagecoach ManchesterConnectionsStockport railway stationHistoryOpened2 March 1981Closed29...

土库曼斯坦总统

土库曼斯坦总统土库曼斯坦国徽土库曼斯坦总统旗現任谢尔达尔·别尔德穆哈梅多夫自2022年3月19日官邸阿什哈巴德总统府（Oguzkhan Presidential Palace）機關所在地阿什哈巴德任命者直接选举任期7年，可连选连任首任萨帕尔穆拉特·尼亚佐夫设立1991年10月27日 土库曼斯坦土库曼斯坦政府与政治 国家政府 土库曼斯坦宪法 国旗 国徽 国歌 立法機關（英语：National Council of Turkmenistan） ...

 

 

哈萨克斯坦总统

此条目序言章节没有充分总结全文内容要点。 (2019年3月21日)请考虑扩充序言，清晰概述条目所有重點。请在条目的讨论页讨论此问题。 哈萨克斯坦總統哈薩克總統旗現任Қасым-Жомарт Кемелұлы Тоқаев卡瑟姆若马尔特·托卡耶夫自2019年3月20日在任任期7年首任努尔苏丹·纳扎尔巴耶夫设立1990年4月24日（哈薩克蘇維埃社會主義共和國總統） 哈萨克斯坦 哈萨克斯坦政府...

 

 

Arsinoitherium

Arsinoitherium Periode Eosen Akhir – Oligosen Awal~36–27 jtyl PreЄ Є O S D C P T J K Pg N Cetakan A. zitteli, Natural History Museum, LondonTaksonomiKerajaanAnimaliaFilumChordataKelasMammaliaOrdoEmbrithopodaFamiliArsinoitheriidaeGenusArsinoitherium Beadnell, 1902 Tipe taksonomiArsinoitherium zitteli,Beadnell 1902 Tata namaDinamakan berdasarkanArsinoe II dari Mesir dan Arsinoe I dari Mesir Spesies A. zitteli Beadnell 1902 A. andrewsi Lankester 1903 A. giganteus Sanders et al. 2004 l...

Buddhism in Iceland

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (January 2015) (Learn how and when to remove this message) Membership in registered non-Christian religious organizations in Iceland. The dark blue line represents Buddhism Buddhism in Iceland is followed by 0.43% of the population of Iceland, according to the 2021 Census.[1...

 

 

Roma 16

Roma 16Surat Roma 16:1,4-7,11-12 yang tertulis pada naskah Papirus 118, dari abad ke-3 M.KitabSurat RomaKategoriSurat-surat PaulusBagian Alkitab KristenPerjanjian BaruUrutan dalamKitab Kristen6← pasal 15 1 Korintus 1 → Roma 16 (disingkat Rom 16) adalah bagian terakhir Surat Paulus kepada Jemaat di Roma dalam Perjanjian Baru di Alkitab Kristen. Pengarangnya adalah Rasul Paulus, tetapi dituliskan oleh Tertius, seorang Kristen yang saat itu mendampingi Paulus.[1][2] T...

 

 

ARKive

ARKive – Images of Life on EarthURLwww.arkive.orgTipeEnsiklopediaBahasaInggris PembuatWildscreenBerdiri sejak20 Mei 2003 (2003-05-20)Lokasi kantor pusatBristol NegaraBritania Raya Penghargaan(2010)  Webby Awards Peringkat Alexa53.563 (28 November 2017) StatusTerarsipkan ARKive adalah inisiatif global dengan misi mempromosikan konservasi spesies terancam di dunia, melalui kekuatan citra satwa liar,[1][2] yang dilakukan dengan mencari dan mengumpulkan film, foto, dan...

مسييه 68

{{{الاسم}}}   بيانات المراقبة الكوكبة الشجاع[1]  البعد () القدر الظاهري (V) 7.96 [2][3]  سرعة شعاعية -95.2 كيلومتر في الثانية[2]  معدنية (فلك) -2.22 [4]  القدر المطلق(H) -7.3 [2]  أنظر أيضًا: تجمع مغلق، قائمة التجمعات النجمية المغلقة تعديل مصدري - تعديل   م...

 

 

Neeraj Kak

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Neeraj Kak – berita · surat kabar · buku · cendekiawan · JSTORNeeraj Kak (1954--) ahli dunia pada kesehatan masyarakat. Dia telah bekerja pada keluarga berencana dan menjaga kesehatan ibu. Dia bekerja se...

 

 

Palazzo Bargagli

Disambiguazione – Se stai cercando il palazzo di Firenze, vedi Palazzo Bargagli (Firenze). Palazzo BargagliLocalizzazioneStato Italia RegioneToscana LocalitàSiena Indirizzovia Casato di Sopra Informazioni generaliCondizioniIn uso CostruzioneXVI secolo Stilemanierista Modifica dati su Wikidata · Manuale Stemma famiglia Bargagli Palazzo Bargagli è un edificio storico di Siena situato in via Casato di Sopra, a pochi passi da piazza del Campo. Storia e descrizione Costruito nel XV...

Теорема о сумме углов треугольника

Треугольник Теорема о сумме углов треугольника — классическая теорема евклидовой геометрии. Содержание 1 Формулировка 2 Доказательство 3 Следствия 4 Вариации и обобщения 4.1 Многоугольники 4.2 Обобщение для симплексов 4.3 В неевклидовых геометриях 5 Примечания 6 Литерату...

 

 

じゃがバター

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: じゃがバター – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2017年12月) じゃがバター じゃがバター（もしくはじゃ�...