BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.0.8//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://math.bas.bg
X-WR-CALDESC:Събития за Institute of Mathematics and Informatics
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Sofia
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20260519T100000
DTEND;TZID=Europe/Sofia:20260519T113000
DTSTAMP:20260529T190149
CREATED:20260417T130924Z
LAST-MODIFIED:20260417T131217Z
UID:19124-1779184800-1779190200@math.bas.bg
SUMMARY:Семинар "Дигитална култура"
DESCRIPTION:Следващата сбирка на Семинар “Дигитална култура” \nще се проведе на 19 май 2026 г. (вторник) от 10:00 часа в зала 256 на ИМИ-БАН. \nДоклад на тема: \nCompeting Conceptions of AGI\nще изнесе Pei Wang (Temple University\, USA)\, редактор на Journal of Artificial General Intelligence. \nРезюме: While the term “Artificial General Intelligence” (AGI) has been used to identify a research field for 20 years\, a consensus on its goal remains controversial. These divergent interpretations are not merely philosophical\, as they lead to fundamentally different research agendas and engineering methodologies. In this talk\, the NARS (Non-Axiomatic Reasoning System) project is introduced\, with an outline of its assumptions\, representations\, inference rules\, and working process. NARS offers a fundamentally different vision of AGI than the one implied by today’s LLMs.
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b4%d0%b8%d0%b3%d0%b8%d1%82%d0%b0%d0%bb%d0%bd%d0%b0-%d0%ba%d1%83%d0%bb%d1%82%d1%83%d1%80%d0%b0-6/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20260526T100000
DTEND;TZID=Europe/Sofia:20260526T113000
DTSTAMP:20260529T190149
CREATED:20260522T001544Z
LAST-MODIFIED:20260522T001544Z
UID:19404-1779789600-1779795000@math.bas.bg
SUMMARY:Семинар "Дигитална култура"
DESCRIPTION:Следващата сбирка на Семинар “Дигитална култура” \nще се проведе на 26 май 2026 г. (вторник) от 10:00 часа в зала 278 на ИМИ-БАН. \nДоклад на тема: \nLogics for Strategic Reasoning about Socially Interacting Rational Agents\nще изнесе Valentin Goranko\, Stockholm University\, Sweden. \nРезюме: An important aspect of socially interacting rational agents are the strategic abilities of individual agents and groups (coalitions) of agents to guarantee the achievement of their desired goals\, while acting and interacting within an entire society of agents. Several logical systems have been proposed for formalising and capturing such reasoning were introduced the early 2000s\, starting with the Coalition Logic (CL)\, the Alternating Time Temporal Logic (ATL)\, and some extensions of these. \nCoalition Logic provides a natural\, but rather restricted perspective: the agents in the proponent coalition are viewed as acting in full cooperation with each other but in complete opposition to all agents outside of the coalition\, which are thus treated as adversaries. The Alternating Time Temporal Logic extends Coalition Logic with temporal operators allowing for expressing long-term temporised goals. \nThe strategic interaction in real societies is much more complex\, usually involving various patterns combining cooperation and competition. To capture these\, more expressive and versatile logical frameworks are needed. \nIn this talk I will give a brief overview of some of these logics and will illustrate their use with some examples. \n\nZoom link:\nhttps://us06web.zoom.us/j/82219689652?pwd=VbWffI8RD4aPYC8TaNrasukEW7uePV.1
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b4%d0%b8%d0%b3%d0%b8%d1%82%d0%b0%d0%bb%d0%bd%d0%b0-%d0%ba%d1%83%d0%bb%d1%82%d1%83%d1%80%d0%b0-7/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
END:VEVENT
END:VCALENDAR