A Social Semantics for Multi-agent Systems

Buccafurri, Francesco; Caminiti, Gianluca

doi:10.1007/11546207_25

Cited by 15 publications

(7 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The answer sets of the program, usually defined through (a variant/extension of) the stable model semantics (Gelfond and Lifschitz 1988), are interpreted to the solutions of the problem. This technique has been successfully applied in domains such as planning (Eiter et al 2002;Lifschitz 2002), configuration and verification (Soininen and Niemelä 1999), super-optimisation (Brain et al 2006), diagnosis (Eiter et al 1999), game theory (De Vos and Vermeir 1999) multi-agent systems (Baral and Gelfond 2000;Buccafurri and Gottlob 2002;De Vos and Vermeir 2004;Buccafurri and Caminiti 2005;Cliffe et al 2006), reasoning about biological networks (Grell et al 2006), voting theory (Konczak 2006), policy mechanisms (Mileo and Schaub 2006), generation of phylogenetic trees (Erdem et al 2006), evolution of language (Erdem et al 2003) and game character descriptions (Padovani and Provetti 2004).…”

Section: Answer Set Programmingmentioning

confidence: 99%

Automatic music composition using answer set programming

Boenn¹,

Brain²,

Vos³

et al. 2011

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

Music composition used to be a pen and paper activity. These days music is often composed with the aid of computer software, even to the point where the computer composes parts of the score autonomously. The composition of most styles of music is governed by rules. We show that by approaching the automation, analysis and verification of composition as a knowledge representation task and formalising these rules in a suitable logical language, powerful and expressive intelligent composition tools can be easily built. This application paper describes the use of answer set programming to construct an automated system, named Anton, that can compose melodic, harmonic and rhythmic music, diagnose errors in human compositions and serve as a computer-aided composition tool. The combination of harmonic, rhythmic and melodic composition in a single framework makes Anton unique in the growing area of algorithmic composition. With near real-time composition, Anton reaches the point where it can not only be used as a component in an interactive composition tool but also has the potential for live performances and concerts or automatically generated background music in a variety of applications. With the use of a fully declarative language and an “off-the-shelf” reasoning engine, Anton provides the human composer a tool which is significantly simpler, more compact and more versatile than other existing systems.

show abstract

Section: Answer Set Programmingmentioning

confidence: 99%

Automatic music composition using answer set programming

Boenn¹,

Brain²,

Vos³

et al. 2011

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

show abstract

“…Here we only present a short flavor of the language AnsP rolog, and the interested reader is referred to [8] for in-depth coverage. AnsP rolog and its extensions have demonstrated [7,9,13,18,24,12,16] that they are a good and useful tool in the domain of multiagent systems.…”

Section: Answer Set Programmingmentioning

confidence: 99%

ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents

Watson

Vos

2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

In recent years, numerous papers have shown the power and flexibility of answer set programming (ASP) in the modeling of intelligent agents. This is not surprising since ASP was developed specifically for non-monotonic reasoning-including common-sense reasoning required in agent modeling. When dealing with multiple agents exchanging information, a common problem is dealing with conflicting information. As with humans, our intelligent agents may trust information from some agents more and than from others. In this paper, we present ASTREA, a methodology and framework for modeling multi-agent systems with trust. Starting from agents written in standard AnsP rolog , we model the agent's knowledge, beliefs, reasoning capabilities and trust in other agents together with a conflict resolution strategy in CR-Prolog. The system is then able to advise the agent what information to take into account and what to discard.

show abstract

“…ASP has been used to tackle a variety of problems, including: planning and diagnosis [18][19][20], modelling and rescheduling of the propulsion system of the NASA Space Shuttle [20], multi-agent systems [21][22][23], Semantic Web and web-related technologies [24,25], superoptimisation [26], reasoning about biological networks [27], voting theory [28] and investigating the evolution of language [29].…”

Section: Answer Set Programmingmentioning

confidence: 99%

Automatic Composition of Melodic and Harmonic Music by Answer Set Programming

et al. 2008

View full text Add to dashboard Cite

The composition of most styles of music is governed by rules. The natural statement of these rules is declarative ("The highest and lowest notes in a piece must be separated by a consonant interval") and non deterministic ("The base note of a key can be followed by any note in the key"). We show that by approaching the automation and analysis of composition as a knowledge representation task and formalising these rules in a suitable logical language, powerful and expressive intelligent composition tools can easily be built. This paper describes the use of answer set programming to construct an automated system that can compose both melodic and harmonic music, diagnose errors in human compositions and serve as a computer-aided composition tool. The use of a fully declarative language and an "off-the-shelf" reasoning engine allows the creation of tools which are significantly simpler, smaller and more flexible than those produced by existing approaches. It also combines harmonic and melodic composition in a single framework, which is a new feature in the growing area of algorithmic composition.

show abstract

A Social Semantics for Multi-agent Systems

Cited by 15 publications

References 10 publications

Automatic music composition using answer set programming

Automatic music composition using answer set programming

ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents

Automatic Composition of Melodic and Harmonic Music by Answer Set Programming

Contact Info

Product

Resources

About