数理論理学の発展は自動推論の分野で大きな役割を果たし、自動推論自体も人工知能の発展に寄与した。形式的証明 (formal proof) は、すべての論理的結論を基本的な数学の公理にまで遡ってチェックした証明である。すべての中間的な論理段階が示され、例外はない。直観から論理への変換が普通であっても、直観にたよることはない。したがって形式的証明は直観的ではなく、論理的誤りも少ない。1957年、多くの論理学者と計算機科学者が一堂に会した Cornell Summer が自動推論または自動定理証明の起源とされることがある。それ以前のアレン・ニューウェル、クリフ・ショー、ハーバート・サイモンらが1955年に開発した Logic Theorist や、マーチン・デービスが1954年にプレスブルガーの決定手続きを実装したもの（2つの偶数の和が偶数であることを証明）が起源だとすることもある。自動推論は重要な領域として盛んに研究が行われていたが、1980年代から90年代初頭の「AIの冬」の時代を経験し、その後運よく復興した。例えば2005年、マイクロソフトは多くの社内プロジェクトでのソフトウェア開発に検証技術を使い始め、Visual C++ の2012年版に論理的に検証する機能を追加した。
自動推論（じどうすいろん、Automated Reasoning）は計算機科学と数理論理学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全（あるいはほぼ完全）自動な推論を行うソフトウェアを開発することを目的とする。人工知能研究の一部と考えられるが、理論計算機科学や哲学とも深い関係がある。自動推論のなかでも最も研究が進んでいるのは、自動定理証明（および完全自動ではないがより現実的な対話型定理証明）と自動定理検証（固定の前提条件下での推論と見なすことができる）であるが、他にも類推、帰納、アブダクションによる推論の研究も盛んである。他の重要なトピックとしては、不確かさのある状況での推論と非単調推論である。不確かさに関する研究では論証（argumentation）が重要である。それはすなわち、標準的な自動推論へのさらなる極小性と一貫性の適用である。John Pollock の Oscar システムは単なる自動定理証明機よりも自動論証システムといえるものである。自動推論のツールや手法としては、古典的論理学や代数学があるが、他にもファジィ論理、ベイズ推定、最大エントロピー原理に基づく推論、その他のあまり形式的でない技法などがある。
富裕な上流階級の家庭に生まれ、1895年からフランクフルト・ホーホ音楽院で作曲をクノルに、ピアノをフリートベルクに、ヴァイオリンをレプナーに師事。またその間にオルガンも学んでいる。1908年から1910年までライプツィヒでマックス・レーガーの薫陶を受ける。1922年に地元オッペンハイムにバッハ合唱団を創設した。全部で134作品を残しており、そのうち26の管弦楽曲、9つの交響曲、ピアノ協奏曲、ヴァイオリン協奏曲、ヴィオラ協奏曲、チェロ協奏曲、ピアノ曲、室内楽曲を遺した。フランクフルト時代の初期作品は、フレデリック・ショパンやロベルト・シューマンの影響を受け、繊細洒脱な性格的小品を作曲したが、レーガーに出逢ってからはその圧倒的な影響を受け、重厚で入り組んだテクスチュアと、極端な半音階技法や奔放な和声法を特徴とする恩師の作風を受け継いだ。
ここに記載されているのは、『1』および『FULL!』において使用する技である。光のアルカナとなった『2』以降については、アンジェリア・アヴァロンの項の当該項目を参照されたい。また、これらの技名は、エンターブレイン発行のムック『アルカナハート ハートマチック コレクション』に掲載されていたもので、技を出すときの台詞基準。
1ラウンド目では蛹の周辺にある2つの玉が攻撃をするのみ。本体は特に攻撃もガードもしないが、投げることはできない。また玉の攻撃は的確で、潰すのもかわすのも容易ではない。逆に、玉の攻撃は遠距離にいると着弾まで時間がかかるので、舞織や愛のアルカナ使用時のように、遠距離からまとまったダメージを与えられる相手には非常に弱い。遠距離から攻撃できない場合は、危険を覚悟の上でホーミング移動を利用して近づき、接近戦のダメージ量で押し切るしかない。2ラウンド目では必殺技がアルカナ超必殺技と同様であるなど、技のスペックは高い。特にオリジナル同様切り返しとして強力な「消し飛べ。」、カウンターと起き攻め潰しを兼ねる「足掻け。苦しめ。絶望しろ。」、実質的な0フレーム技である「神の息吹を受けよ。」は飛び抜けて性能が良い。しかし、いかんせん通常技が一切なく、身長の高さからくらい判定も大きいため、手数で押していけば勝つことは難しくない。また、上記の3つの技以外は明確な隙や確定反撃があるため、反撃の機会も多い。そのため対処法さえ体得すれば、「神の息吹を受けよ。」を除けば理不尽な強さではないといえる。
現在、一般的には、水を張った鍋に昆布を敷き、鍋をそのままひと煮立ちさせる。沸騰したのち、鶏肉、シイタケ、ハクサイや、その他の具を入れ、それらに火が通れば完成となる。その他の具としては、豆腐、油揚げ、長葱、シメジ、エノキなどのキノコ類、薄く切った大根、人参などの根菜類、春菊、ミズナ、ほうれん草などの葉物野菜類、春雨、葛きり、マロニーなど、入れる物は多岐にわたりそれぞれの家庭により微妙に異なっている。基本的には、鶏肉を用いるが、最近では、豚肉を使った物も「水炊き」と呼ぶこともある。一煮立ちして、一通り火が通ったら、食べ頃の具から順に取り、取り皿のタレに付けて食べる。タレは、ポン酢醤油に薬味（紅葉おろし、刻んだ青ねぎなど）を入れた物が一般的だが、削り節を醤油と練った物を鍋の出汁でのばした物や、梅肉に醤油を垂らした物を鍋の出汁でのばした物、あるいはしゃぶしゃぶなどで使われるごまだれで食べる人もいる。また、市販のタレも存在するし、近年は様々なアレンジしたタレが雑誌やネットなどでも紹介されており、多岐に富むようになった。具が少なくなれば、随時追加していき、締めは雑炊にしたり、うどんや餅を入れたりする。